Strained Interpretations
نویسندگان
چکیده
منابع مشابه
Reportrapport Declarative Interpretations Reconsidered Declarative Interpretations Reconsidered
Three semantics have been proposed as the most promising candidates for a declarative interpretation for logic programs and pure Prolog programs: the least Herbrand model, the least term model, i.e. the C-semantics, and the S-semantics. Previous results show that a strictly increasing information ordering between these semantics exists for the class of all programs. In particular, the S-semanti...
متن کاملMonotone interpretations
The domain of computation of an program 〈X , C,F ,R〉 is the constructor algebra T (C). A substitution σ is a mapping from variables to terms and a ground substitution is one which ranges over constructor terms of T (C). Observe that constructor terms are normal forms for the program. For each function symbol f ∈ F , the program 〈X , C,F ,R〉 computes a partial function JfK : T (C) → T (C) define...
متن کاملStrained Silicon Photonics
A review of recent progress in the field of strained silicon photonics is presented. The application of strain to waveguide and photonic crystal structures can be used to alter the linear and nonlinear optical properties of these devices. Here, methods for the fabrication of strained devices are summarized and recent examples of linear and nonlinear optical devices are discussed. Furthermore, t...
متن کاملNanoparticles: strained and stiff.
Nanoparticles may contain unusual forms of structural disorder that can substantially modify materials properties and thus cannot solely be considered as small pieces of bulk material. We have developed a method to quantify intermediate-range order in 3.4-nanometer-diameter zinc sulfide nanoparticles and show that structural coherence is lost over distances beyond 2 nanometers. The zinc-sulfur ...
متن کاملRepairing a Strained Alliance
Although the gap between psychotherapy practice and research has been present for some time, recent pressures for accountability from outside the system--managed health care and biological psychiatry--necessitate that we take steps to close this gap. One such step has been for psychotherapy researchers to specify a list of empirically validated therapies. However, as researchers who also have a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Oxford Journal of Legal Studies
سال: 2019
ISSN: 0143-6503,1464-3820
DOI: 10.1093/ojls/gqz001